$\forall$$A$:Type, $P$:($A$$\rightarrow\mathbb{B}$), $L$:$A$ List. count($P$;$L$) $\in$ $\mathbb{N}$